61. A guide to commercial artificial intelligence: Foundamentals and real-word applications

پدیدآورنده :

موضوع : Artificial interlligence,Expert systems (Computer science)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

62. A guide to commercial artificial intelligence:fundamentals & real

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : ARTIFICIAL INTELLIGENCE , EXPERT SYSTEMS )COMPUTER SCIENCE(

رده :
Q
335
.
R383

63. A guided tour of artificial intelligence research.

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Artificial intelligence. ;

64. A guided tour of artificial intelligence research.

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Artificial intelligence. ;

65. A layered declarative approach to ontology translation with knowledge preservation

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

رده :
Q
387
.
C67
2005

66. A logical language for data and knowledge bases

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، LDL )Computer program language(,، Database management,، Artificial intelligence

رده :
QA
76
.
73
.
L15
N36
1989

67. A logical theory of nonmonotonic inference and belief change

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Belief and doubt.,Expert systems (Computer science),Nonmonotonic reasoning.

رده :
Q339
.
2
A449
2011

68. A logical theory of nonmonotonic inference and belief change

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : ، Nonmonotonic reasoning,، Belief and doubt,، Expert systems )Computer science(

رده :
Q
339
.
2
.
B63
2001

69. A many-valued approach to deduction and reasoning for artificial intelligence /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Artificial intelligence.,Cognition.,Computational linguistics.

70. A methodology for uncertainty in knowledge-based systems

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : ، Expert systems )Computer science(,، Uncertainty )Information theory(

رده :
QA
76
.
L4
v
.
419

71. A methodology for uncertainty in knowledge-based systems

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Expert systems )Computer science(,، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
419

72. A new kind of computational biology :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Cellular automata.,Computational biology.,Computation by Abstract Devices.,Computational Biology/Bioinformatics.,Microbial Genetics and Genomics.,Proteomics.,Cellular automata.,Computational biology.,Computers-- Computer Science.,Computers-- Machine Theory.,Life sciences: general issues.,Microbiology (non-medical),Proteins.,Science-- Life Sciences-- Biochemistry.,Science-- Life Sciences-- Biology-- Microbiology.,User interface design & usability.

رده :
QA267
.
5
.
C45

73. A novel combinational of filters for image classification, Breast cancer as a case study

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

موضوع : Gabor filter bank, Law’s features, Fourier Transform, Wavelet transform, Support Vector Machine, Wavelet Pocket transform.,بانک فیلتر گابور، تبدیل فوریه، تبدیل موجک، یادگیری ماشین، ماشین بردار پشتیبانی، تبدیل موجک پاکتی.

74. A perspective of constraint-based reasoning :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.

رده :
QA75
.
E358
1992

75. A perspective of constraint-based reasoning : an introductory tutorial

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Constraints )Artificial intelligence(,، Reasoning

رده :
QA
76
.
L28
Vol
.
597

76. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87

77. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

78. A tight, practical integration of relations and functions

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases

رده :
QA
76
.
L28
Vol
.
1712

79. ACCV 2014--Computer Vision

پدیدآورنده :

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK

80. ACCV 2014--Computer Vision

پدیدآورنده :

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK